Exercise logic.propositional.cnf.unicode
Description
Proposition to CNF (unicode support)
| Code | logic.propositional.cnf.unicode |
| Status | Stable |
| Strategy | cnf |
| Rules | 44 |
| Buggy rules | 39 |
| OpenMath support | yes |
| Restartable strategy | yes |
| Exercise generator | yes |
| Examples | 5 |
Example exercises
generate exercise: very_easy, easy, medium, difficult, very_difficult